On the Logic of Merging
نویسندگان
چکیده
This work proposes an axiomatic characterization of merging operators. It underlines the diierences between arbitration operators and majority operators. A representation theorem is stated showing that each merging operator corresponds to a family of partial pre-orders on interpretations. Examples of operators are given. They show the consistency of the axiomatic characterization. A new merging operator 4 GMax is provided. It is proved that it is actually an arbitration operator.
منابع مشابه
Optimization of Quantum Cellular Automata Circuits by Genetic Algorithm
Quantum cellular automata (QCA) enables performing arithmetic and logic operations at the molecular scale. This nanotechnology promises high device density, low power consumption and high computational power. Unlike the CMOS technology where the ON and OFF states of the transistors represent binary information, in QCA, data is represented by the charge configuration. The primary and basic devic...
متن کاملAn analysis of merging effects on academic culture
Since the merging of organizations and institutions has undeniable effects on them, and appropriate action is needed in this regard. The present research selected the merging of Shahid-Abbaspour University in Shahid-Beheshti University as a case study to identify the effects of this action. This study, in terms of purpose and method, is applied and descriptive-survey, respectively. The general...
متن کاملMap-merging in Multi-robot Simultaneous Localization and Mapping Process Using Two Heterogeneous Ground Robots
In this article, a fast and reliable map-merging algorithm is proposed to produce a global two dimensional map of an indoor environment in a multi-robot simultaneous localization and mapping (SLAM) process. In SLAM process, to find its way in this environment, a robot should be able to determine its position relative to a map formed from its observations. To solve this complex problem, simultan...
متن کاملThe Logic and Content of a Curriculum for Teaching the Value of Self-Control
The Logic and Content of a Curriculum for Teaching the Value of Self-Control S. Raam, Ph.D.* M. Mehrmohammadi, Ph.D.** A. R. Saadeghzaadeh Ghamsari, Ph.D.*** E. Talaa’ee, Ph.D.**** Due to the significance of turning from external control to internal, as a central value in the field of religious-moral education the present research is focused on determining the logic and con...
متن کاملMerging DMUs Based on of the idea Inverse DEA
In this paper, we propose a novel method using multiple-objective programming problems to answer the following question: if among a group of decision making units (DMUs), a subset of DMUs are required to merge and form a new DMU with specific input/output levels and a predefined efficiency target, how much should be the outputs/inputs of the merged DMU? This question answered according to the c...
متن کاملMerging Belief Bases Represented by Logic Programs
This paper presents a method which allows for merging beliefs expressed thanks to logic programming with stable model semantics. This method is based on the syntactic merging operators described in the framework of propositional logic. The study of these operators leads to a new definition of the consequence relation between logic programs which is based on the logic of Hereand-There brought by...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1998